Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
321	PDF Document Add to Reading List Source URL: akira.ruc.dk Language: English - Date: 2014-10-12 12:01:50 Finite automata Tree automaton Tree Formal languages Model checking
322	PDF Document Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-07-17 11:43:19 Computing Software engineering Software Formal methods Theoretical computer science Model checkers Logic in computer science Java Pathfinder Model checking Formal verification Promela Abstract interpretation
323	PDF Document Add to Reading List Source URL: aplas12.kuis.kyoto-u.ac.jp Language: English - Date: 2012-08-27 03:23:05 Programming language theory Model checking Mathematical logic
324	Software Model Checking with Predicate Abstraction, Interpolation, & IC3 Johannes Birgmeier, Aaron Bradley, Add to Reading List Source URL: www.georg.weissenbacher.name Language: English - Date: 2014-05-16 17:12:27
325	Model Checking Distributed Systems by Combining Caching and Process Checkpointing Watcharin Leungwattanakit∗, Cyrille Artho† , Masami Hagiya∗, Yoshinori Tanabe‡ and Mitsuharu Yamamoto§ ∗ Graduate School of In Add to Reading List Source URL: staff.aist.go.jp Language: English - Date: 2015-11-26 00:31:11
326	Branching Preserving Specialization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 University Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2012-10-22 15:04:00
327	Specialization with Constrained Generalization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 Add to Reading List Source URL: www.iasi.cnr.it Language: English - Date: 2013-03-14 08:11:04
328	Incremental Bounded Software Model Checking Henning Günther Georg Weissenbacher Vienna University of Technology, Austria Add to Reading List Source URL: www.georg.weissenbacher.name Language: English - Date: 2014-07-17 13:12:02
329	Software Model Checking by Program Specialization Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 and Maurizio Proietti3 1 University Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2012-10-26 14:38:25
330	Introduction of Virtualization Technology to Multi-Process Model Checking Watcharin Leungwattanakit Cyrille Artho University of Tokyo RCIS/AIST Add to Reading List Source URL: staff.aist.go.jp Language: English - Date: 2015-11-26 00:32:02

UPDATE